Large cardinal - PDFSEARCH.IO - Document Search Engine

Large cardinal
Results: 69

#	Item
41	Weak Bisimulation Approximants Will Harwood and Faron Moller Department of Computer Science, Swansea University Abstract. Bisimilarity , a canonical notion of equivalence between processes, is defined co-inductively, but Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-05-01 15:35:42 Forcing Set theory Tree Cardinal number Complete Boolean algebra Symbol Bisimulation Constructible universe Weakly compact cardinal Mathematical logic Mathematics Large cardinals
42	Derived models associated to mice J.R. Steel June 10, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Determinacy Core model Inner model theory Woodin cardinal AD+ Mathematical logic Set theory Large cardinals
43	Derived models associated to mice J.R. Steel June 26, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Determinacy Woodin cardinal Core model AD+ Forcing Suslin representation Mathematical logic Set theory Large cardinals
44	Topology and its Applications[removed]–2459 Contents lists available at ScienceDirect Add to Reading List Source URL: math.bu.edu Language: English - Date: 2012-01-11 13:58:49 Mathematics Critical point Kenneth Kunen Measurable cardinal Huge cardinal Infinitary combinatorics Suslin representation Inaccessible cardinal Core model Mathematical logic Large cardinals Set theory
45	LARGE CARDINALS WITH FORCING Akihiro Kanamori This chapter describes, following the historical development, the investigation of Add to Reading List Source URL: math.bu.edu Language: English - Date: 2012-03-06 14:12:26 Set theory Weakly compact cardinal Inaccessible cardinal Critical point Mahlo cardinal Measurable cardinal Constructible universe Infinitary combinatorics Forcing Mathematical logic Large cardinals Mathematics
46	Math 582 Intro to Set Theory Lecture 35 Add to Reading List Source URL: kaharris.org Language: English - Date: 2009-04-20 11:58:43 Set theory Cardinal number Constructible universe Limit cardinal Ordinal number Normal function Weakly compact cardinal Mahlo cardinal Mathematical logic Large cardinals Mathematics
47	arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 06:34:09 Metalogic Forcing Zermelo–Fraenkel set theory Saharon Shelah Equiconsistency Set theory Large cardinal Model theory Mathematical proof Mathematics Logic Mathematical logic
48	Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2013-04-24 07:33:10 Determinacy Woodin cardinal Zermelo–Fraenkel set theory Constructible universe Axiom of projective determinacy Core model Critical point Von Neumann universe S Mathematical logic Set theory Large cardinals
49	Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin July 25, 2009 Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-09-20 00:26:33 Determinacy Large cardinals Inner model theory Descriptive set theory Forcing Zermelo–Fraenkel set theory Ω-logic Continuum hypothesis Woodin cardinal Mathematical logic Set theory Mathematics
50	Thilo Volker Weinert Beschr¨ Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2008-04-23 06:52:34 Mathematics Cardinal number Zermelo–Fraenkel set theory Forcing Constructible universe Mahlo cardinal Model theory Equiconsistency Axiom Mathematical logic Large cardinals Set theory

UPDATE